[gdk/directfb] Made dfb_events_dispatch() thread save

Fixes https://bugzilla.gnome.org/show_bug.cgi?id=591438

diff --git a/gdk/directfb/gdkevents-directfb.c b/gdk/directfb/gdkevents-directfb.c
index 34d06b7f065bf51fecfcce708cedb4fe84b0583c..2dd5000e02ed163a7a6349b3753db8e85c49e361 100644 (file)
--- a/gdk/directfb/gdkevents-directfb.c
+++ b/gdk/directfb/gdkevents-directfb.c
@@ -184,6 +184,8 @@ dfb_events_dispatch (void)
   GdkDisplay *display = gdk_display_get_default ();
   GdkEvent   *event;
 
+  GDK_THREADS_ENTER ();
+
   while ((event = _gdk_event_unqueue (display)) != NULL)
     {
       if (_gdk_event_func)
@@ -191,6 +193,8 @@ dfb_events_dispatch (void)
 
       gdk_event_free (event);
     }
+
+  GDK_THREADS_LEAVE ();
 }
 
 static gboolean